updating oE positive_int

Cross Platform Text Graphics

Declares an integer variable which can only contain values > 0

positive_int

include console.e 
default namespace is console 
public type positive_int(object x) 
include std/console.e 
 
positive_int x  
 
x = 42 
? x 
x -= 46 
? x 
Results:

42 
type_check failure, x is -4 
 
--> See ex.err 

Not Categorized, Please Help

Search



Quick Links

User menu

Not signed in.

Misc Menu